
GtkUIManager * InitMenusAndToolBar( GtkWidget *vbox );
void EnableDisableMenusAccordingSectionType( );
void SetToogleMenuForSectionsManagerWindow( gboolean OpenedWin );
void SetToggleMenuForEditorWindow( gboolean OpenedWin );
void SetToggleMenuForSymbolsWindow( gboolean OpenedWin );
void SetToggleMenuForBoolVarsWindow( gboolean OpenedWin );
void SetToggleMenuForFreeVarsWindow( gboolean OpenedWin );
void SetToggleMenuForLogWindow( gboolean OpenedWin );
void SetToggleMenuForMonitorWindow( gboolean OpenedWin );
void SetGtkMenuStateForRunStopSwitch( gboolean Running );
void SetGtkMenuStateForConnectDisconnectSwitch( gboolean TargetConnected );
void MenuToSetTargetClockTime( void );
void MenuRebootTarget( void );
void MenuSendProjectToTargetAction( void );
void MenuReceiveProjectFromTargetAction( void );
